Merge branch 'master' into 'master'
authorEmmanuele Bassi <ebassi@gmail.com>
Thu, 13 Feb 2020 19:53:33 +0000 (19:53 +0000)
committerEmmanuele Bassi <ebassi@gmail.com>
Thu, 13 Feb 2020 19:53:33 +0000 (19:53 +0000)
commiteb2e0137fae5e77f34624a7cb34b6ff7cf5480e2
tree851d1ec0e214a04e56041c70152bbf790ac53fa2
parent33c6032a1069fe47b6647a1abf49a5d6d14c6a3a
parent0969d06925a791ed8faee94e067707a9830bba49
Merge branch 'master' into 'master'

Fixed OpenGL extension detection for extensions promoted to OpenGL core.

Closes #2428

See merge request GNOME/gtk!1424